Variable frequency crosstalk noise analysis: A methodology to guarantee functionality from dc to f_maxKRAUTER, Byron; WIDIGER, David.Design automation conference. 2002, pp 659-664, isbn 1-58113-461-4, 6 p.Conference Paper

Automated timing model generationDAGA, Ajay J; MIZE, Loa; SRIPADA, Subramanyam et al.Design automation conference. 2002, pp 146-151, isbn 1-58113-461-4, 6 p.Conference Paper

Timed compiled-code simulation of embedded software for performance analysis of SOC designLEE, Jong-Yeol; PARK, In-Cheol.Design automation conference. 2002, pp 293-298, isbn 1-58113-461-4, 6 p.Conference Paper

Formal modeling and analysis of timed systems (4th International conference, FORMATS 2006, Paris, France, September 25-27, 2006)Asarin, Eugène; Bouyer, Patricia.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-45026-2, 1Vol, XI-367 p, isbn 3-540-45026-2Conference Proceedings

A solenoidal basis method for efficient inductance extractionMAHAWAR, Hemant; SARIN, Vivek; WEIPING SHI et al.Design automation conference. 2002, pp 751-756, isbn 1-58113-461-4, 6 p.Conference Paper

Model composition for scheduling analysis in platform designRICHTER, Kai; ZIEGENBEIN, Dirk; JERSAK, Marek et al.Design automation conference. 2002, pp 287-292, isbn 1-58113-461-4, 6 p.Conference Paper

Implementing asynchronous circuits using a conventional EDA tool-flowSOTIRIOU, Christos P.Design automation conference. 2002, pp 415-418, isbn 1-58113-461-4, 4 p.Conference Paper

Enhancing test efficiency for delay fault testing using multiple-clocked schemesLIOU, Jing-Jia; WANG, Li-C; CHENG, Kwang-Ting et al.Design automation conference. 2002, pp 371-374, isbn 1-58113-461-4, 4 p.Conference Paper

Osculating thevenin model for predicting delay and slew of capacitively characterized cellsSHEEHAN, Bernard N.Design automation conference. 2002, pp 866-869, isbn 1-58113-461-4, 4 p.Conference Paper

Principles of Robust Timing over the InternetRIDOUX, Julien; VEITCH, Darryl.Communications of the ACM. 2010, Vol 53, Num 5, pp 54-61, issn 0001-0782, 8 p.Article

Capacitated disassembly scheduling : Minimizing the number of products disassembledKIM, Jun-Gyu; JEON, Hyong-Bae; KIM, Hwa-Joong et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25860-4, 4Vol, part IV, 538-547Conference Paper

Verification of parameterized timed systemsAZIZ ABDULLA, Parosh.Lecture notes in computer science. 2005, pp 95-97, issn 0302-9743, isbn 3-540-30946-2, 1Vol, 3 p.Conference Paper

Formal modeling and analysis of timed systems (third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005)Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-30946-2, 1Vol, IX-303 p, isbn 3-540-30946-2Conference Proceedings

Associative caches in formal software timing analysisWOLF, Fabian; STASCHULAT, Jan; ERNST, Rolf et al.Design automation conference. 2002, pp 616-621, isbn 1-58113-461-4, 6 p.Conference Paper

Synthesis of reactive(1) designsPITERMAN, Nir; PNUELI, Amir; SA'AR, Yaniv et al.Lecture notes in computer science. 2006, pp 364-380, issn 0302-9743, isbn 3-540-31139-4, 1Vol, 17 p.Conference Paper

Feedback, queueing, and the reliability of the ideal poisson channel above capacityWAGNER, Aaron B; ANANTHARAM, Venkat.IEEE International Symposium on Information Theory. 2004, isbn 0-7803-8280-3, 1Vol, p. 447Conference Paper

Adaptive synchronisation for a RoboCup agentMONTGOMERY, Jefferson D; MACKWORTH, Alan K.Lecture notes in computer science. 2003, pp 135-149, issn 0302-9743, isbn 3-540-40666-2, 15 p.Conference Paper

Robust undecidability of timed and hybrid systemsHENZINGER, T. A; RASKIN, J.-F.Lecture notes in computer science. 2000, pp 145-159, issn 0302-9743, isbn 3-540-67259-1Conference Paper

Untiming timed languagesBERARD, B.Information processing letters. 1995, Vol 55, Num 3, pp 129-135, issn 0020-0190Article

Outils de modélisation des automatismes séquentiels : Les réseaux de Petri = Modelling tools of sequential automatisms: the Petri networksLADET, Pierre.Techniques de l'ingénieur. Informatique industrielle. 1989, Vol S1, Num R7252, pp R7252.1-R7252.16, issn 1632-3831Article

Decidability and expressive power of real time logicsRABINOVICH, Alexander.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-45026-2, 1Vol, p. 32Conference Paper

Study on brachiation controller: Adjustment method of strength and timing parametersKAJIMA, Hideki; HASEGAWA, Yasuhisa; FUKUDA, Toshio et al.IROS 2002 : international conference on intelligent robots and systems. 2002, pp 2497-2502, isbn 0-7803-7398-7, 3Vol, 6 p.Conference Paper

One Individual's Three Perspectives of the Collegiate Cyber Defense CompetitionSCAPARRA, Jeffrey.Security & management. International conferenceWorldComp'2010. 2010, pp 307-313, isbn 1-60132-159-7 1-60132-162-7 1-60132-163-5, 7 p.Conference Paper

On the expressiveness of MTL with past operatorsPRABHAKAR, Pavithra; D'SOUZA, Deepak.Lecture notes in computer science. 2006, pp 322-336, issn 0302-9743, isbn 3-540-45026-2, 1Vol, 15 p.Conference Paper

Performance analysis of MAC-hs protocolBESTAK, Robert.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25339-4, 2Vol, Part I, 100-108Conference Paper